Skip to content

ci bot test #3

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

ci bot test #3

wants to merge 1 commit into from

Conversation

yongwww
Copy link
Owner

@yongwww yongwww commented Jul 28, 2025

πŸ“Œ Description

πŸ” Related Issues

πŸš€ Pull Request Checklist

Thank you for contributing to FlashInfer! Before we review your pull request, please make sure the following items are complete.

βœ… Pre-commit Checks

  • I have installed pre-commit by running pip install pre-commit (or used your preferred method).
  • I have installed the hooks with pre-commit install.
  • I have run the hooks manually with pre-commit run --all-files and fixed any reported issues.

If you are unsure about how to set up pre-commit, see the pre-commit documentation.

πŸ§ͺ Tests

  • Tests have been added or updated as needed.
  • All tests are passing (unittest, etc.).

Reviewer Notes

@yongwww
Copy link
Owner Author

yongwww commented Jul 28, 2025

πŸ”„ This PR has been mirrored to GitLab

This mirror was created automatically by the PR mirroring bot.

@yongwww yongwww mentioned this pull request Jul 28, 2025
5 tasks
@yongwww
Copy link
Owner Author

yongwww commented Jul 29, 2025

[CANCELED] GitLab CI Pipeline Canceled

Pipeline ID: #32414785
Status: canceled
Started: 2025-07-28T11:02:22.409-07:00

Job Summary:

  • Passed: 0
  • Failed: 0
  • Total: 1

This comment was automatically generated by the FlashInfer PR mirroring bot.

@yongwww yongwww changed the title Update bash.sh pr to test ci bot Jul 29, 2025
@yongwww yongwww changed the title pr to test ci bot ci bot test Jul 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant